|
|
Analýza a transformace kódů
Křoustek, Jakub ; Masařík, Karel (oponent) ; Meduna, Alexandr (vedoucí práce)
Práce popisuje metody a postupy používané k analýze a transformaci kódů. Obsahuje základní informace o vědním oboru reverzní inženýrství a jeho užití ve výpočetní technice i mimo ni. Hlavním cílem je vytvoření prostředku ke zpětnému překladu z binární formy do jazyka symbolických instrukcí. Tato činnost je silně závislá na konkrétní instrukční sadě a musí být použita pro předem známou architekturu procesorů. Uvedený problém je řešen pomocí šablon, zásuvných modulů a modulárnosti zpětného překladače. Zmíněné vlastnosti dovolí uživatelům rozšiřovat program o nové instrukční sady. Výstupem je textová reprezentace instrukcí, funkčně ekvivalentní vstupu. Práce demonstruje nejenom běžně používané postupy dekódování, ale i nové postupy navržené autorem.
|
|
|
Prostředí pro návrh digitálních obvodů s využitím vlastního jazyka typu HLS
Pastušek, Václav ; Dvořák, Vojtěch (oponent) ; Fujcik, Lukáš (vedoucí práce)
V dnešní době existuje spoustu různých vysokoúrovňových syntéz pro popis digitálních obvodů. Ty nejznámější pak generují VHDL kód z programovacích jazyků jako jsou např.: ANSI C, C++, SystemC, SystemVerilog a MATLAB. Ale ne každý se ztotožní s programováním toho typu, proto je občas dobré přejít na vyšší úroveň abstrakce, kdy se schová vnitřní část komponentů, a pak se dané komponenty volají se vstupy a výstupy. Tato práce se zabývá problematikou návrhu HLS, návrhem vstupního pseudokódu, pseudoknihoven, překladače vytvořeném v jazyce Python, jeho moduly a praktickým použitím.
|
|
|
Překladač jazyka C pro mikroprocesor AVR32
Nagy, Michal ; Husár, Adam (oponent) ; Hruška, Tomáš (vedoucí práce)
Tato bakalářská práce se zabývá tvorbou backendu architektury AVR32 pro překladač LLVM. Jádro práce tvoří seznamování se způsobem popisu architektur v LLVM a vlastní implementace backendu AVR32. Dále uvádím několik problémů, na které jsem během implementace narazil, a diskutuji jejich možná řešení. Výsledkem práce je funkční backend s několika omezeními zmíněnými v závěru práce.
|
|
|
Paralelní verze obecné syntaktické analýzy
Mikita, Tibor ; Kučera, Jiří (oponent) ; Meduna, Alexandr (vedoucí práce)
Tato bakalářská práce se zabývá obecními metodami syntaktické analýzy. Autor studuje Cocke-Younger-Kasami algoritmus a přichází s návrhem paralelní verze. Motivací autora je zrychlení syntaktické analýzy založené na tomto algoritmu. Výsledkem práce je konzolová aplikace, která dokáže zjistit, zda vstupní řetězec patří do jazyka generovaného vstupní gramatikou, nebo nepatří, na základě navrženého paralelního algoritmu. Jako programovací jazyk byl zvolen jazyk C++. Pro dosažení paralelismu byla práce algoritmu rozdělena mezi několik vláken.
|
|
|
Paralelní syntaktická analýza
Holko, Maroš ; Regéciová, Dominika (oponent) ; Meduna, Alexandr (vedoucí práce)
Práca sa zaoberá štúdiom niekoľkých metód syntaktickej analýzy, obzvlášť najmä Cocke-Younger-Kasami algoritmu. Ďalej je navrhnutý spôsob paralelizácie tohto algoritmu a jeho implementácia v jazyku C++. Na dosiahnutie paralelizácie boli použité vlákna. S prácou bola vytvorená aj konzolová aplikácia, v ktorej bol implementovaný paralelný CYK algoritmus. Zároveň bolo navrhnuté a implementované rozšírenie, ktoré zisťuje všetky postupnosti použitých pravidiel v prípade, že vstupný reťazec patrí do danej gramatiky. V závere sú diskutované jeho prednosti a nedostatky.
|
|
|
Architecture Information for LLVM Compiler Optimizations
Svoboda, Jan ; Dolíhal, Luděk (oponent) ; Hruška, Tomáš (vedoucí práce)
This thesis deals with the automatic extraction of processor architecture information from the CodAL language. Extracted information is used as the base for a cost model of the optimizer in the LLVM compiler. In this thesis, a new system was implemented, that creates the cost model, transforms it into a C++ code and compiles it into a dynamic library. This library is loaded at run-time by the compiler and used for better decision-making during the optimization process. The system achieves an average reduction in program code size of 14% and up to 68% improvement in the performance of the generated code.
|
|
|
Generování kódu z modelů Petriho sítí
Cibák, Michal ; Janoušek, Vladimír (oponent) ; Kočí, Radek (vedoucí práce)
Cieľom tejto práce je analyzovať aktuálne riešenie generátoru kódu z Objektovo orientovaných Petriho sietí zapísaných v jazyku PNTalk do jazyku Java, navrhnúť jeho úpravy a implementovať ich. Ako prvý bol analyzovaný celkový návrh a boli špecifikované chýbajúce časti, následne bol analyzovaný zdrojový kód prekladača a boli odhalené chyby. Boli implementované navrhnuté opravy chýb v prekladači a niektoré chýbajúce časti z návrhu boli implementované čiastočne v rámci prekladača.
|
|
|
Zadní část překladače podmnožiny jazyka C pro 8-bitový procesor
Horník, Jakub ; Koutný, Jiří (oponent) ; Křivka, Zbyněk (vedoucí práce)
Překladač umožňuje programátorovi popisovat algoritmus ve vysokoúrovňovém programovacím jazyce s vyšší mírou abstrakce a strukturovaností, než poskytuje nízkoúrovňový strojový kód. Tato práce se týká návrhu zadní části překladače podmnožiny jazyka C pro 8bitový procesor Xilinx PicoBlaze-3, který je zde popsán od počátečního výběru vhodné přední části, návrhu architektury, až po samotnou implementaci. Jedním z důvodů této práce je, že není k dispozici uspokojující překladač pro tento procesor.
|
|
|
Překladač podmnožiny jazyka C v Pythonu
Lichtner, Ondrej ; Kaštil, Jan (oponent) ; Vašíček, Zdeněk (vedoucí práce)
Tato bakalařská práce se věnuje návrhu a implementaci překladače jazyka C pro mikrokontrolér PicoBlaze. V současnosti je vývoj aplikací pro tento mikrokontrolér limitován na použití asembleru. Cílem této práce je tedy vytvořit překladač, který bude snadno upravitelný a rozširitelný. Návrh a implementace jsou rozděleny do modulů, z kterých každý vykonává jinou fázi překladu. Moduly takhle mohou být jednoduše vyměněny nebo rozšířeny.
|
|
|
Překlad do různých asemblerů
Hranáč, Jan ; Goldefus, Filip (oponent) ; Meduna, Alexandr (vedoucí práce)
Cílem tohoto projektu je vytvořit překladač schopný přeložit vstupní jazyk do více různých asemblerů, dle volby uživatele. Toho bude dosaženo rozšiřitelností o moduly implementujících výstavbu zdrojových souborů konkrétních typů asemblerů. Překladač bude sloužit jako generátor částí asemblerovských zdrojových souborů pro usnadnění práce programátora v asembleru. Vstupní jazyk je odvozen od Pascalu. Má ale blíže k asembleru, než běžný Pascal.
|
host ::
RSS.